A86.AUX[254,RWF] - www.SailDart.org

perm filename A86.AUX[254,RWF] blob sn#869663 filedate 1989-01-31 generic text, type T, neo UTF8

\relax 
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1}Examples}{1}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {1.1}Finite automata}{1}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {1.2}Unsigned-Counter Machines}{2}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2}Signed-Counter Machines}{3}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.1}Queue Machines}{3}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.2}Stack Machines}{4}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.3}2-Counter Machines}{4}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.4}Turing Machines}{5}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3}Examples of Nondeterminism}{5}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.1}Counter Machines}{5}}